PLI 2002 - Workshops |
||||||||||||||||||||||||||||
|
Principles, Logics, and Implementations of High-Level Programming Languages Pittsburgh, USA October 3 - 8, 2002 |
|||||||||||||||||||||||||||
|
Each workshop that publishes with ACM can set their individual
deadlines for the submission of the final versions as long as they are
compatible with the following time frame.
|
Monday August 19th. | Signed copyright forms are due. Please
find the form at here.
Each author should submit the form to the workshop chair, who then
collectively faxes the forms to (212) 869-0481 or sends them to
c/o ACM Copyright & Permissions 1515 Broadway, 17th Floor New York, NY 10036 | |
Monday August 26th. | Camera ready hardcopies and electronic versions are due. This is a firm deadline. If Adrienne does not receive the camera ready hardcopies by then, there are no guarantees that the proceedings are done in a timely manner. This means that the workshop organizers should collect the papers a few days earlier, let's say August 19th, 2002, in order to guarantee a timely completion of the proceedings. The style used should be the ACM conference style. I have been talking with Adrienne about exceptions, but in the interest of uniformity and accessibility in the ACM Digital Library, we have decided that everybody should format their paper in the style proposed by the ACM. On how to finish the camera ready version of the proceedings, please follow these instructions. For further questions, please contact Adrienne Griscti. When you submit the camera ready version (including the text cover, table of contents, ...) of the proceedings please write with pencil the page number of each individual page on its back. Papers should not exceed 15 pages in length. If you have papers that need more, please contact me.
The final proceedings should be a book which is organized as follows:
Department of Computer Science 5000 Forbes Ave., Wean 8124 Carnegie Mellon University Pittsburgh, PA 15213-3891 |
The following seven workshops are part of PLI 2002. Please follow the links below to the individual workshops.
Thursday, Oct 3, 2002 | Haskell workshop |
Programming Technologies for XML | |
Scheme workshop | |
Saturday, Oct 5, 2002 | Rule Based Programming |
Verification and Computational Logic | |
Monday, Oct 7, 2002 | Erlang workshop |
Functional and Declarative Programming in Education |